The Cluster Basis of Z[x1,1,...,x3,3]

We show that the set of cluster monomials for the cluster algebra of type D4 contains a basis of the Z-module Z[x1,1, . . . , x3,3]. We also show that the transition matrices relating this cluster basis to the natural and the dual canonical bases are unitriangular and nonnegative. These results support a conjecture of Fomin and Zelevinsky on the equality of the cluster and dual canonical bases. In the event that this conjectured equality is true, our results also imply an explicit factorization of each dual canonical basis element as a product of cluster variables.